widget: Remove direction-dependent margin code
authorTimm Bäder <mail@baedert.org>
Sun, 5 Mar 2017 15:24:20 +0000 (16:24 +0100)
committerTimm Bäder <mail@baedert.org>
Sun, 5 Mar 2017 15:24:20 +0000 (16:24 +0100)
commit73f863668723cd574cb7581c762f85a19e858046
tree25d41968dfbebdb6430149f673e948719e605484
parentf860ff86475b16c8d38cdad44c68b3292b7b8fdf
widget: Remove direction-dependent margin code

Since margin-left and margin-right are gone, we don't have to care
about the difference between them and start/end anymore and we can just
save start as left and end as right.
gtk/gtkwidget.c